<?php
require('conexionbd.php');
$id_aula=$_GET['aula'];


$res=mysql_query("SELECT * FROM tipo_dispositivo where tipo='ordenador'", $con);
while($row = mysql_fetch_array($res)){
	$id_tipo=$row['id_tipo'];
}


$res=mysql_query("SELECT * FROM dispositivos where id_aula='$id_aula' AND id_tipo_dispositivo='$id_tipo'", $con);
while($row = mysql_fetch_array($res)){
	echo '<input type="checkbox" name="casilla2[]" value="'.$row['id'].'">';
	echo $row['etiqueta']."<br />";
}
?>